Benjamin Aaron

#	Item
31	Mechanized Metatheory for the Masses: The PoplMark Challenge Brian E. Aydemir1 , Aaron Bohannon1 , Matthew Fairbairn2 , J. Nathan Foster1 , Benjamin C. Pierce1 , Peter Sewell2 , Dimitrios Vytiniotis1 , Geoffrey Washburn1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-11-30 06:37:29 Mathematics Formal methods Deduction Proof theory Data types POPLmark challenge Subtype polymorphism Twelf Type safety Type theory Logic Theoretical computer science
32	PDF Document Add to Reading List Source URL: dnr.alaska.gov Language: English - Date: 2009-09-16 10:18:44 Battleship Island Benjamin Island Juneau Alaska Bird Island Aaron Island Shelter Island Favorite Channel Lincoln Island Geography of Alaska Geography of the United States Alaska